Vol-555⫷ Vol-556 ⫸Vol-557
urn:nbn:de:0074-556-0


Vol-556/paper-3⫷Vol-556/paper-4⫸Vol-556/paper-5

Constraint Modelling: A Challenge for First Order Automated Reasoning