Vol-2198⫷ Vol-2199 ⫸Vol-2200
urn:nbn:de:0074-2199-0


Vol-2199/paper2⫷Vol-2199/paper3⫸Vol-2199/paper4

Towards Coq Formalisation of {log} Set Constraints Resolution