Monica Nogueira Marcello Balduccini Michael Gelfond Richard Watson Matthew Barry An A Prolog decision support system for the Space Shuttle. 2001 conf/asp/2001 Answer Set Programming http://www.cs.nmsu.edu/~tson/ASP2001/10.ps db/conf/asp/asp2001.html#NogueiraBGWB01