Expmssing Database Queries with Intuitionistic Logic (1989)

by A J Bonner, L T McCarty, K Vadaparty
Venue:Proceedings of the North American Logic Programming Conference