Singleton Consistencies (2000)

by Patrick Prosser, Kostas Stergiou, Toby Walsh