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

Published: 1985-11-01