Lee Naish, Harald Søndergaard, Benjamin Horsfall. Logic Programming: From Underspecification to Undefinedness. In Julián Mestre, editor, Eighteenth Computing: The Australasian Theory Symposium, CATS 2012, Melbourne, Australia, January 2012. Volume 128 of CRPIT, pages 49-58, Australian Computer Society, 2012. [doi]
Abstract is missing.