@InProceedings{robin,
author  = {Tee Yong Chew and Martin Henz and Ka Boon Ng},
title   = {A Toolkit for Constraint-based Inference Engines},
booktitle = {Practical Aspects of Declarative Languages, Second
		  International Workshop, PADL'00}, 
editor = {Enrico Pontelli and V{\'\i}tor Santos Costa},
year = 2000,
series =  {Lecture Notes in Computer Science, Volume 1753},
publisher = {Springer-Verlag},
pages = {185--199}
}