Relevant Logic Programming (1991)

by A W
Venue:Journal of Automated Reasoning