1. Encoding complex symbolic data structures with some unusual connectionist techniques;Branden,1991
2. Alternative networks for solving Traveling Salesman problem and the list matching problem;Brandt,1988
3. Preferred sub-theories: an extended logical framework for default reasoning;Brewka,1989
4. A computing procedure for quantification theory;Davis;J. ACM,1960
5. Mundane reasoning by parallel constraint satisfaction;Derthick,1988