L. H. Eriksson

• Extensions of logic programming