1. Denzinger, J.; Fuchs, D.:Referees for Teamwork, Proc. FLAIRS '96, Key West, FL, USA, 1996, pp. 454–458.
2. Fuchs, D.:Inference Rights for Controlling Search in Generating Theorem Provers, SEKI Report SR-96-12, University of Kaiserslautern, 1996.
3. Fuchs, M.:Powerful Search Heuristics Based on Weighted Symbols, Level and Features, Proc. FLAIRS '96, Key West, FL, USA, 1996, pp. 449–453.
4. Fuchs, D., Fuchs, M.: CoDe: A Powerful Prover for Problems of Condensed Detachment, Proc. LADE-14, Townsville, Australia, 1997, to appear.
5. Lukasiewicz, J.:Selected Works, L. Borkowski (ed.), North-Holland, 1970.