@inproceedings{ICLP-2005-StuckeyBMMSSWW,
	author        = "Peter J. Stuckey and Maria J. García de la Banda and Michael J. Maher and Kim Marriott and John K. Slaney and Zoltan Somogyi and Mark Wallace and Toby Walsh",
	booktitle     = "{Proceedings of the 21st International Conference on Logic Programming}",
	doi           = "10.1007/11562931_3",
	isbn          = "3-540-29208-X",
	pages         = "9--13",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{The G12 Project: Mapping Solver Independent Models to Efficient Solutions}",
	volume        = 3668,
	year          = 2005,
}