Mauricio Osorio Fernando Zacarias High-Level Logic Programming. 226-240 http://link.springer.de/link/service/series/0558/bibs/1762/17620226.htm 2000 conf/foiks/2000 FoIKS db/conf/foiks/foiks2000.html#OsorioZ00