Van Roy, Peter "Can Logic Programming Execute as Fast as Imperative Programming?" PhD Dissertation at USC 1991

(1991)

Languages mentioned