Logic Programming and Automated Reasoning (LPAR (1992)

by M J Beeson