L. H. Eriksson

Extensions of logic programming