LoCo - A Logic for Configuration Problems.

Markus Aschinger, Conrad Drescher, Heribert Vollmer

Browse the full ECAI paper archive.