Formal Design of an Abstract Machine for Constraint Logic Programming

Christoph Beierle. Formal Design of an Abstract Machine for Constraint Logic Programming. In IFIP Congress (1). pages 377-382, 1994.

Abstract

Abstract is missing.