Wlodzimierz Drabent Jan Maluszynski Inductive Assertion Method for Logic Programs. 167-181 1987 conf/tapsoft/1987-2 TAPSOFT, Vol.2 db/conf/tapsoft/tapsoft87-2.html#DrabentM87 http://dx.doi.org/10.1007/BFb0014980