8 | Ilkka Niemelä and H. Tuominen. A system for logical expertise. In Proceedings of the Finnish Artificial Intelligence Symposium, Volume 2, pages 44–53, Espoo, Finland, August 1986. Finnish Society of Information Processing Science. |
|
7 | Ilkka Niemelä. A survey of nonmonotonic logic (in Finnish). Internal report A22, Helsinki University of Technology, Digital Systems Laboratory, Espoo, 1986. |
|
6 | Heikki Mannila and K.-J. Räihä. Inclusion dependencies in database design. In International Conference on Data Engineering, pages 713–718, 1986. |
|
5 | Heikki Mannila and K.-J. Räihä. Test data for relational queries. In Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, pages 217–223, 1986. |
|
4 | Heikki Mannila and E. Ukkonen. The set union problem with backtracking. In Automata, Languages and Programming, Thirteenth International Colloquium, pages 236–243, 1986. |
|
3 | Heikki Mannila and E. Ukkonen. On the complexity of unification sequences. In Third International Conference on Logic Programming, pages 122–133, 1986. |
|
2 | Heikki Mannila and E. Ukkonen. Timestamped term representation for implementing prolog. In Third IEEE Conference on Logic Programming, pages 159–167, 1986. |
|
1 | Heikki Mannila and K.-J. Räihä. Design by example: an application of Armstrong relations. Journal of Computer and System Sciences, 33(2):126–141, 1986. |
|