On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas.

Jana Koehler Jörg Hoffmann On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas. 2000 conf/puk/2000 PuK http://www-is.informatik.uni-oldenburg.de/~sauer/puk2000/papers/koehler.pdf db/conf/puk/puk2000.html#KohlerH00