CHR reference manual (1998)

by C Holzbaur, T Frühwirth
Venue:Österreichisches Forschungsinstitut für Artificial Intelligence