ASP Solving for Expanding Universes.

Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub

Browse the full LPNMR paper archive.