1. R. Bol, L. Degerstedt, The underlying search for magic templates and tabulation, in: Proc. of ICLP93,1993, pp. 793–811
2. Efficient top-down computation of queries under the well-founded semantics;Chen;Journal of Logic Programming,1995
3. Monotonic and residuated logic programs;Damásio,2001
4. Antitonic logic programs;Damásio,2001
5. Hybrid probabilistic logic programs as residuated logic programs;Damásio;Studia Logica,2002