Eugenio Oliveira Developing Expert Systems Builders in Logic Programming. 187-194 1984 2 New Generation Comput. 2 db/journals/ngc/ngc2.html#Oliveira84