Peter Z. Revesz Problem Solving in the DISCO Constraint Database System. 302-315 1997 conf/cdb/1997 CDB db/conf/cdb/cdb97.html#Revesz97a https://doi.org/10.1007/3-540-62501-1_40 https://www.wikidata.org/entity/Q57641760