Jana Koehler, Jörg Hoffmann. On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas. In Proceedings of the 14th Workshop New Results in Planning, Scheduling and Design (PuK2000), Berlin, 21-22 August 2000. 2000. [doi]
Abstract is missing.