Expressing database queries with intuitionistic logic (1989)

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