U.: Any-world assumptions in logic programming (2005)

by Y Loyer, Straccia
Venue:Theoretical Computer Science