Your search returned the following 2 documents:

2. Generic System Support for Deductive Program Development
   Abdelwaheb Ayari and David A. Basin
   In: Second International Workshop, TACAS'96: Tools and Algorithms for the Construction and Analysis of Systems, Passau, Germany, March, 1996, 313-328
   
1. A Complete Method for the Synthesis of Linear Ranking Functions
   Andreas Podelski and Andrey Rybalchenko
   In: Verification, model checking, and abstract interpretation : 5th International Conference, VMCAI 2004, Venice, Italy, 2004, 239-251