Vol-372⫷ Vol-373 ⫸Vol-374
urn:nbn:de:0074-373-0


Vol-373/paper-2⫷Vol-373/paper-3⫸Vol-373/paper-4
John K. Slaney

Constraint Modelling: A Challenge for First Order Automated Reasoning (invited talk)