Your search returned the following 4 documents:

4. Hierarchic reasoning in local theory extensions
   Viorica Sofronie-Stokkermans
   In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, 2005, 219-234
   [PDF: Download: sofronie-cade-2005.pdf]
   
3. The Model Evolution Calculus with Equality
   Peter Baumgartner and Cesare Tinelli
   In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, 2005, 392-408
   
2. First-Order Atom Definitions Extended
   Bijan Afshordel, Thomas Hillenbrand, and Christoph Weidenbach
   In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), Havanna, Cuba, December, 3 - December, 7, 2001, 309-319
   [PS: Download: AtomFinal.ps]
   
1. Splitting through New Proposition Symbols
   Hans de Nivelle
   In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), Havana, Cuba, December 3-7, 2001, 2001, 172-185