A broader interpretation of logic in logic programming (1988)

by A Bundy
Venue:In Proceedings Fifth Symposium on Logic Programming