Logic programming in tau categories (1995)

by S E Finkelstein, P Freyd, J Lipton
Venue:In CSL’94, volume 933 of LNCS