출판 Algorithm + Strategy = Parallelism PW Trinder, K Hammond, H-W Loidl, Simon Peyton Jones Journal of Functional Programming | January 1998, 제 8 권: pp. 23-60
출판 The Decidability of Simultaneous Rigid E-Unification with One Variable Paliath Narendran, Margus Veanes, Andrei Voronkov, Anatoli Degtyarev, Yuri Gurevich RTA’98 | January 1998
출판 Visibility Sorting and Compositing without Splitting for Image Layer Decompositions John Snyder, Jed Lengyel January 1998
출판 Composition: A Way to Make Proofs Harder Leslie Lamport Compositionality: The Significant Difference (Proceedings of the COMPOS’97 Symposium), Willem-Paul de Roever, Hans Langmaack, and Amir Pnueli editors. Lecture Notes in Computer Science. | December 1997
출판 Learning Mixtures of DAG Models Bo Thiesson, Chris Meek, Max Chickering, David Heckerman MSR-TR-97-30 | December 1997 Revised May 1998
출판 Grouping and Duplicate Elimination: Benefits of Early Aggregation Paul Larson MSR-TR-97-36 | December 1997
출판 Sequential optimisation without state space exploration A. Mehrotra, Shaz Qadeer, V. Singhal, R. K. Brayton, A. Aziz, A. L. Sangiovanni-Vincentelli Computer-Aided Design, 1997. Digest of Technical Papers., 1997 IEEE/ACM International Conference on | November 1997