Relevant logic programming (1991)

by A W Bollen
Venue:Journal of Automated Reasoning