Substitution Expressions: Extracting Solutions of Non-Horn Clause Proofs. - K. Aspetsberger (European Conference on Computer Algebra (2), 1985)

Two Parallel Versions of the Connection Method for Propositional Logic on the L-Machine. - K. Aspetsberger; Stefan Bayerl (GWAI, 1985)

Towards Parallel Machines for Artificial Intelligence: Realization of the ALICE Architecture by the L-Components. - K. Aspetsberger (ÖGAI, 1985)

Experiments with muMATH in Austrian high schools. - K. Aspetsberger; G. Funk (ACM Commun. Comput. Algebra, 1985)

A Bibliography on Parallel Inference Machines. - Wolfgang Bibel; K. Aspetsberger (J. Symb. Comput., 1985)

Parallel Inference Machines. - Wolfgang Bibel; Franz J. Kurfess; K. Aspetsberger; Peter Hintenaus; Johann Schumann (Future Parallel Computers, 1986)