Declarative Program Theory with Implicit Information.

Vilas Wuwongse, Ekawit Nantajeewarawat

Browse the full PRICAI paper archive.