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

by Jana Koehler , Jörg Hoffmann
Citations:4 - 2 self