Bikash Chandra Ghosh;Vilas Wuwongse
-;-
Declarative Programs with Implicit Implications
IEEE Transactions on Knowledge and Data Engineering