An Intermediate Logic for Logic Programs (1990)

by J Harland