Compiling constraint handling rules into prolog with attributed variables
Beitrag zu einer Konferenz
Published in
PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PROCEEDINGS. - Berlin : Springer, 1999. - (LECTURE NOTES IN COMPUTER SCIENCE ; 1702). - S. 117-133. - ISBN 3-540-66540-4. - ISSN 0302-9743
Link to publication
https://dx.doi.org/10.1007/10704567_7Conference
International Conference on Principles and Practice of Declarative Programming, 1999-09-29 - 1999-10-01, Paris