Prolog's Control Constructs in a Functional Setting —- Axioms and Implementation

Hinze, Ralf

journal	International Journal of Foundations of Computer Science
number	2
pages	125-170
volume	12
year	2001

people	Ralf Hinze
activities	Algebra of Programming