Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification.

Robert Glück Michael Leuschel Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification. 93-100 1999 conf/ershov/1999 Ershov Memorial Conference http://dx.doi.org/10.1007/3-540-46562-6_8 db/conf/ershov/ershov1999.html#GluckL99