Nr. 201 (1985): PB-201 A Denotational Semantics for Logic Programming

Publiceret: 1985-11-01