The MetaPRL Logical Programming Environment (2001)

by Jason J Hickey