Selected Publications

Selected Publications

(Let me know if you have trouble obtaining any of the papers. Conference papers superseded by journal articles with the same title are not listed.)

1. P. Z. Revesz, Spatio-temporal data mining of major European river and mountain names reveals their Near Eastern and African origins,
22nd European Conference on Advances in Databases and Information Systems, Springer LNCS 11019, 20-32, 2018.

2. S. Daggumati, and P. Z. Revesz, Data mining ancient script image data using convolutional neural networks,
22nd International Database Engineering and Applications Symposium, ACM Press, pp. 267-272, 2018.

3. P. Z. Revesz, and D. Singh, Fast virus and bacteria genome sequencing by compatible restriction enzyme fingerprinting,
International Journal of Biology and Biomedical Engineering, 12, 18-27, 2018.

4. S. Haesevoets, B. Kuijpers and P. Z. Revesz, Affine-invariant triangulation of spatio-temporal data with an application to image retrieval,
ISPRS International Journal of Geo-Information, 6 (4), 100, 2017.

5. B. Kuijpers, and P. Z. Revesz, A dynamic data structure to efficiently find the points below a line and estimate their number,
ISPRS International Journal of Geo-Information, 6 (3), 82, 2017.

6. J. Ramanan, and P. Z. Revesz, Testing the independence hypothesis of accepted mutations for pairs of adjacent amino acids in protein sequences,
International Journal of Biology and Biomedical Engineering, 11, 170-179, 2017.

7. P. Z. Revesz, Data mining citations to predict emerging scientific leaders and citation curves,
International Journal of Education and Information Technologies, 11, 171-179, 2017.

8. S. Woldemariam, P. Z. Revesz, Representation, visualization and querying of sea turtle migrations using the MLPQ constraint database system,
WSEAS Transactions on Computers, 16, 116-123, 2017.

9. P. Z. Revesz, Establishing the West-Ugric language family with Minoan, Hattic and Hungarian by a decipherment of Linear A,
WSEAS Transactions on Information Science and Applications, 14, 306-335, 2017.

10. P. Z. Revesz, A translation of the Arkalochori Axe and the Malia Altar Stone,
WSEAS Transactions on Information Science and Applications, 14, 124-133, 2017.

11. P. Z. Revesz, A computer-aided translation of the Cretan Hieroglyph script,
International Journal of Signal Processing, 1, 127-133, 2016.

12. P. Z. Revesz, A computer-aided translation of the Phaistos Disk,
International Journal of Computers, 10, 94-100, 2016.

13. P. Z. Revesz, Bioinformatics evolutionary tree algorithms reveal the history of the Cretan Script Family,
International Journal of Applied Mathematics and Informatics, 10, 67-76, 2016.

14. H. Yue, L. R. Rilett and P. Z. Revesz, Spatio-temporal traffic video data archiving and retrieval system,
Geoinformatica, 20 (1), 59-94, 2016.

15. P. Z. Revesz, A last genetic contact tree generation algorithm for a set of human populations,
Seventh ACM Int. Conf. on Bioinformatics, Computational Biology, and Health Informatics (ACM BCB), 501-502, Oct. 2016.

16. P. Z. Revesz, A spatio-temporal analysis of mitochondrial DNA haplogroup I,
MATEC Web of Conferences (20th CSCC), 76 (04048), 2016.

17. P. Z. Revesz, A mitochondrial DNA-based model of the spread of human populations,
International Journal of Biology and Biomedical Engineering, 10, 124-133, 2016.

18. S. Daggumati, P. Z. Revesz and C. Svehla, The A-Maze-D advanced maze development system for fast game design and implementation,
International Journal of Systems Applications, Engineering and Development, 10, 195-204, 2016.

19. P. Z. Revesz and Z. Li, Incremental phylogenetics by repeated insertions: An evolutionary tree algorithm,
International Journal of Biology and Biomedical Engineering, 10, 148-158, 2016.

20. Z. Li and P. Z. Revesz, An evolutionary trend discovery algorithm based on cubic spline interpolation,
Transactions on Biology and Biomedicine, 13, 115-123, 2016.

21. P. Z. Revesz, A recurrence equation-based solution for the cubic spline interpolation problem,
International Journal of Mathematical Models and Methods in Applied Sciences, 9, 446-452, 2015.

22. P. Z. Revesz, Inertial navigation by interpolating the flight path of moving objects based on accelerator or velocity measurements,
International Journal of Mathematical Models and Methods in Applied Sciences, 9, 241-246, 2015.

23. P. Z. Revesz, Predicting the response of states to the nuclear proliferation issue using game-theory,
International Journal of Applied Mathematics and Informatics, 9, 90-95, 2015.

24. Z. Li and P. Z. Revesz, Bilinear and smooth hue transition interpolation-based Bayer Filter designs for digital cameras,
International Journal of Circuits, Systems and Signal Processing, 9, 211-221, 2015.

25. P. Z. Revesz, Data mining citation databases: A new index measure that predicts Nobel Prizewinners,
International Database Engineering and Applications Symposium, ACM Press, pp. 1-9, Yokohama, Japan, July 2015.

26. P. Z. Revesz, Arbitration solutions to bargaining and game theory problems,
Annales Universitatis Scientarium Budapestinensis, Sect. Comp., 43, 21-38, 2014.

27. P. Z. Revesz, Artificial intelligence basic research directions at the U.S. Air Force,
International Journal on Artificial Intelligence Tools, 23 (6), 2014.

28. P. Z. Revesz and D. Singh, Efficient and robust constraint automaton-based genome map assembly,
Proc. Fourth International C* Conference on Computer Science and Software Engrineering,, ACM Press, 9, 1-9, 2014.

29. P. Z. Revesz, A method for predicting the citations to the scientific publications of individual researchers,
International Database Engineering and Applications Symposium, ACM Press, pp. 9-18, Porto, Portugal, July 2014.

30. A. Mohan, and P. Z. Revesz, Applications of spatio-temporal data mining to North Platte River reservoirs,
International Database Engineering and Applications Symposium, ACM Press, pp. 306-309, Porto, Portugal, July 2014.

31. P. Z. Revesz and R. Woodward, Variable bounds analysis of a climate model using software verification techniques,
In: Applications of Information Systems in Engineering and Bioscience,, J. Balicki, ed., 31-36, 2014.

32. P. Z. Revesz, and C. Assi, Data mining the functional characterizations of proteins to predict their cancer-relatedness,
International Journal of Biology and Biomedical Engineering, 7 (1), 7-14, 2013.

33. P. Z. Revesz, An algorithm for constructing hypothetical evolutionary trees using common mutations similarity matrices,
ACM International Conf. on Bioinformatics and Computational Biology (ACM BCB), 731-734, September 2013.

34. H. Yue, P. Z. Revesz, TVICS: An efficient traffic video information converting system,
Nineteenth International Symposium on Temporal Representation and Reasoning, IEEE Press, 141-148, Sept. 2012.

35. A. Majumdar and P. Z. Revesz, Comparison of sequence similarity measures for distant evolutionary relationships,
Thirteenth International Conference on Bioinformatics and Computational Biology, 493-498, July 2012.

36. M. Shortridge, T. Triplet, P. Z. Revesz, M. Griep, and R. Powers, Bacterial protein structures reveal phylum dependent divergence,
Computational Biology and Chemistry, 35 (1), 24-33, 2011.

37. P. Z. Revesz, and T. Triplet, Temporal data classification using linear classifiers,
Information Systems, 36 (1), 30-41, 2011.

38. V. Santosh, M. Griep, P. Z. Revesz, Protein structure-based method for identifying horizontal gene transfer,
Proc. First International C* Conference on Computer Science and Software Engrineering,, ACM Press, 9-16, 2011.

39. A. Ngo and P. Z. Revesz, Efficient traffic crash and snow complaint GIS system,
Twelfth International Conference on Digital Government Research, ACM Press, 235-244, June 2011.

40. S. Billa, M. Griep and P. Z. Revesz, Approximate search on protein structures for identification of horizontal gene transfer in bacteria,
Ninth Int. Symp. on Abstraction, Reformulation and Approximation, AAAI Press, 18-25, July 2011.

41. S. Wu and P. Z. Revesz, Extracting topological information from spatial constraint databases,
Ninth Int. Symp. on Abstraction, Reformulation and Approximation, AAAI Press, 149-156, July 2011.

42. M. R. Genesereth, P. Z. Revesz, eds., Proc. Ninth International Symposium on Abstraction, Reformulation and Approximation,
AAAI Press, [PDF of each paper is dowloadable free], 2011.

43. P. Z. Revesz, Introduction to Databases: From Biological to Spatio-Temporal,
Springer, Texts in Computer Science Series, 2010.

44. P. Z. Revesz, and T. Triplet, Classification integration and reclassification using constraint databases,
Artificial Intelligence in Medicine, 49 (2), 79-91, 2010.

45. T. Triplet, M. Shortridge, M. Griep, J. Stark, R. Powers, P. Z. Revesz, PROFESS: A PROtein Function, Evolution, Structure and Sequence database,
DATABASE - The Journal of Biological Databases and Curation, 2010.

46. H. Yue, E. Jones, P. Z. Revesz, Local polynomial regression models for vehicle speed estimation and forecasting in linear constraint databases,
Seventeenth International Symposium on Temporal Representation and Reasoning, IEEE Press, 154-161, Sept. 2010.

47. S. Anderson, P. Z. Revesz, Efficient MaxCount and threshold operators of moving objects,
Geoinformatica,, 13 (4), 355-396, 2009.

48. P. Z. Revesz, A comparison of abstract data type and constraint database approaches to GIS query languages,
ACM SIGSPATIAL International Conf. on Advances in Geographic Information Systems,, ACM Press, 380-383, Nov. 2009.

49. P. Z. Revesz, Tightened transitive closure of integer addition constraints,
Eighth Int. Symp. on Abstraction, Reformulation and Approximation, AAAI Press, 132-142, July 2009.

50. P. Z. Revesz, Robust affine-invariant similarity measures for patterned triangles,
Tenth IASTED Int. Conf. on Computer Graphics and Imaging, ACTA Press, 292-297, Feb. 2008.

51. P. Z. Revesz, and T. Triplet, Reclassification of linearly classified data using constraint databases,
Twelfth East-European Conference on Advances in Databases and Information Systems, Springer LNCS 5207, 231-245, Pori, Finland, Sept. 2008.

52. S. Haesevoets, B. Kuijpers, and P. Z. Revesz, Efficient affine-invariant similarity retrieval,
2nd International Conference on Geometric Modeling and Imaging, IEEE Press, 99-108, July 2007.

53. S. Anderson, and P. Z. Revesz, CDB-PV: A constraint database-based program verifier,
Seventh Int. Symp. on Abstraction, Reformulation and Approximation, Springer LNCS 4612, 35-49, July 2007.

54. S. Anderson, Software Verification and Spatiotemporal Aggregation in Constraint Databases,
Ph.D. Dissertation, University of Nebraska-Lincoln, May 2007.

55. P. Z. Revesz, The constraint database approach to software verification,
Eighth Int. Conf. on Verification, Model Checking and Abstract Interpretationon, Springer LNCS 4349, 329-345, Jan. 2007.

56. K. Mercier, M. Baran, V. Ramanathan, P. Z. Revesz, R. Xiao, G. Montelione, R. Powers, FAST-NMR: Functional annotation screening technology using NMR,
Journal of the American Chemical Society, 128 (47), 15292-99, 2006.

57. R. Powers, J. Copeland, K. Germer, K. Mercier, V. Ramanathan, P.Z. Revesz, Comparison of protein active-site structures for functional annotation of proteins and drug design,
Proteins: Structure, Function, and Bioinformatics, 65 (1), 124-135, 2006.

58. P. Z. Revesz and S. Wu, Spatiotemporal reasoning about epidemiological data,
Artificial Intelligence in Medicine, 38, (2), 157-170, 2006.

59. J. Gao, Adaptive Interpolation Methods for Spatiotemporal Data,
Ph.D. Dissertation, University of Nebraska-Lincoln, December 2006.

60. F. Geerts, P. Z. Revesz, and J. Van den Bussche, On-line maintenance of simplified weighted graphs for efficient distance queries,
ACM SIGSPATIAL International Conf. on Advances in Geographic Information Systems, ACM Press, 203-210, Nov. 2006.

61. J. Gao, and P. Z. Revesz, Visualization of temporal-oriented data sets,
First International Conference on Geometric Modeling and Imaging, IEEE Press, 57-62, July 2006.

62. J. Gao, and P. Z. Revesz, Voting prediction using new spatiotemporal interpolation methods,
Seventh International Conference on Digital Government Research, Digital Government Society Press, 293-300, May 2006.

63. J. Pustejovsky, P. Z. Revesz, eds., Proc. Thirteenth International Symposium on Temporal Representation and Reasoning, IEEE Press, 2006.

64. P. Z. Revesz, The expressivity of constraint query languages with Boolean algebra linear cardinality constraints,
Ninth European Conference on Advances in Databases and Information Systems, Springer LNCS 3631, 167-182, Tallinn, Estonia, Sept. 2005.

65. S. Wu, Information Visualization Methods for GIS, Constraint and Spatiotemporal Databases,
Ph.D. Dissertation, University of Nebraska-Lincoln, August 2005.

66. S. Anderson and P. Z. Revesz, Verifying the incorrectness of programs and automata,
Sixth Int. Symp. on Abstraction, Reformulation and Approximation, Springer LNCS 3607, 1-13, July 2005.

67. J. Gao, and P. Z. Revesz, Adaptive spatio-temporal interpolation methods,
Eighth Joint Conference on Information Sciences, Curran Associates, 1677-90, July 2005.

68. P. Z. Revesz, Efficient rectangle indexing algorithms based on point dominance,
Twelfth International Symposium on Temporal Representation and Reasoning, IEEE Press, 210-212, June 2005.

69. B. Kuijpers and P. Z. Revesz, Report on the first international symposium on the applications of constraint databases,
ACM SIGMOD Record, 34 (2), 62-64, 2005.

70. L. Li, and P. Z. Revesz, Interpolation methods for spatiotemporal geographic data,
Journal of Computers, Environment, and Urban Systems, 28 (3), pp. 201-227, 2004.

71. P. Z. Revesz, Quantifier-elimination for the first-order theory of Boolean algebras with linear cardinality constraints,
Eighth East-European Conference on Advances in Databases and Information Systems, Springer LNCS 3255, 1-21, Sept. 2004.

72. V. Ramanathan, and P. Z. Revesz, Constraint database solutions to the genome map assembly problem,
First International Symposium on Constraint Databases, Springer LNCS 3074, 88-111, June 2004.

73. S. Wu and P. Z. Revesz, DOAS: A drought online analysis system with constraint databases,
Fifth International Conference on Digital Government Research, Digital Government Society Press, 417-418, May 2004.

74. Y. Chen and P. Z. Revesz, Max-Count aggregation estimation for moving points,
Eleventh International Symposium on Temporal Representation and Reasoning, IEEE Press, 103-108, July 2004.

75. P. Z. Revesz and S. Wu, Visualization of recursively defined concepts,
Eighth International Conference on Information Visualisation, IEEE Press, 613-621, July 2004.

76. B. Kuijpers, P. Z. Revesz, eds., Proc. First International Symposium on Constraint Databases and Applications,
Springer LNCS 3074, 2004.

77. J. Chomicki, S. Haesevoets, B. Kuijpers, and P. Z. Revesz, Classes of spatiotemporal objects and their closure properties,
Annals of Mathematics and Artificial Intelligence, 39 (4), pp. 431-461, 2003.

78. L. Li, and P. Z. Revesz, The relationship among GIS-oriented spatiotemporal databases,
Fourth International Conference on Digital Government Research, Digital Government Society Press, 375-378, May 2003.

79. J. Li, R. Narayanan, and P. Z. Revesz, A shape-based approach to change detection and information mining in remote sensing,
In: Frontiers of Remote Sensing Information Processing, C.H. Chen, ed., World Scientific Pub., pp. 63-86, 2003.

80. Y. Chen, Aggregation Operators on Spatiotemporal Databases,
Ph.D. Dissertation, University of Nebraska-Lincoln, December 2003.

81. Y. Chen, and P. Z. Revesz, Querying spatiotemporal XML using DataFox,
IEEE International Conference on Web Intelligence, IEEE Press, pp. 301-309, October 2003.

82. Y. Chen and P. Z. Revesz, Efficient aggregation over moving objects,
Tenth International Symposium on Temporal Representation and Reasoning, IEEE Press, 118-127, July 2003.

83. P. Z. Revesz, A retrosceptive on constraint databases,
In: PCK50 - Principles of Computing and Knowledge, Paris C. Kanellakis Memorial Workshop, San Diego, CA, June 2003.

84. L. Li, Spatiotemporal Interpolation Methods in GIS,
Ph.D. Dissertation, University of Nebraska-Lincoln, May 2003.

85. P. Z. Revesz, Introduction to Constraint Databases,
Springer, Texts in Computer Science Series, 2002.

86. P. Z. Revesz, and M. Cai, Efficient querying of periodic spatiotemporal objects,
Annals of Mathematics and Artificial Intelligence, 36 (4), pp. 437-457, 2002.

87. L. Li, and P. Z. Revesz, A comparison of spatio-temporal interpolation methods,
Second International Conference on Geographic Information Science, Springer LNCS 2478, 145-160, Sept. 2002.

88. L. Li, and P. Z. Revesz, Constraint-based visualization of spatial interpolation data,
Sixth International Conference on Information Visualisation, IEEE Press, 563-569, July 2002.

89. P. Z. Revesz and L. Li, Representation and querying of interpolation data in constraint databases,
Third International Conference on Digital Government Research, Digital Government Society Press, 225-228, May 2002.

90. J. Chomicki, and P. Z. Revesz, Parametric spatiotemporal objects,
Periodico Dell'Associazione Italiana per l'Intelligenza, 14 (1), 41-47, 2001.

91. P. Z. Revesz, R. Chen, M. Ouyang, Approximate query evaluation using linear constraint databases,
Eighth International Symposium on Temporal Representation and Reasoning, IEEE Press, 170-175, June 2001.

92. Y. Deng and P. Z. Revesz, Spatial and topological data models,
In: Information Modeling in the New Millennium, M. Rossi, K. Siau, eds., IGI Publishing, pp. 345-59, 2001.

93. M. Cai, D. Keshwani, and P. Z. Revesz, Parametric Rectangles: A model for querying and animation of spatiotemporal databases,
Seventh Conference on Extending Database Technology (EDBT), Springer LNCS 1777, pp. 430-444, Konstanz, Germany, March 2000.

94. M. Cai, and P. Z. Revesz, Parametric R-tree: An index structure for moving objects,
Tenth International Conference on Management of Data (COMAD), McGraw Hill, pp. 57-64, Pune, India, December 2000.

95. R. Chen, Temporal and Video Constraint Databases,
Ph.D. Dissertation, University of Nebraska-Lincoln, December 2000.

96. M. Ouyang, Efficient Visualization and Querying of Geographic Databases,
Ph.D. Dissertation, University of Nebraska-Lincoln, December 2000.

97. M. Ouyang, and P. Z. Revesz, Algorithms for cartogram animation,
International Database Engineering and Applications Symposium, IEEE Press, pp. 231-235, Yokohama, Japan, Sept. 2000.

98. R. Chen, M. Ouyang, P. Z. Revesz, Approximating data in constraint databases,
Fourth Int. Symp. on Abstraction, Reformulation and Approximation, Springer LNAI 1864, 124-143, July 2000.

99. P. Z. Revesz, Reformulation and approximation in model checking,
Fourth Int. Symp. on Abstraction, Reformulation and Approximation, Springer LNAI 1864, 202-218, July 2000.

100. P. Z. Revesz, R. Chen, P. Kanjamala, Y. Li, Y. Liu, and Y. Wang The MLPQ/GIS constraint database system,
ACM-SIGMOD International Conference on Management of Data (SIGMOD), ACM Press, Dallas, Texas, USA, May 2000.

101. Y. Deng, Similarity Queries for Linear Constraint Databases,
Ph.D. Dissertation, University of Nebraska-Lincoln, May 2000.

102. P. Z. Revesz, Datalog and constraints,
In: Constraint Databases, G. Kuper, L. Libkin, J. Paredaens, eds., Springer, 155-170, 2000.

103. P. Z. Revesz, The DISCO constraint database system,
In: Constraint Databases, G. Kuper, L. Libkin, J. Paredaens, eds., Springer, 383-389, 2000.

104. J. Chomicki, and P. Z. Revesz, Constraint-based interoperability of spatiotemporal databases,
Geoinformatica, 3 (3), 211-243, 1999.

105. J. Chomicki, Y. Liu, and P. Z. Revesz, Animating spatiotemporal constraint databases,
Workshop on Spatio-Temporal Database Management (STDBM), Springer LNCS 1678, Edinburgh, Scotland, September 1999.

106. P. Z. Revesz, Datalog programs with difference constraints,
Twelfth International Conference on Applications of Prolog, Japanese Computer Sociey Press, 69-76, Tokyo, Japan, Sept. 1999.

107. P. Z. Revesz, The dominating cycle problem in 2-connected graphs and the matching problem for bag of bags are NP-complete,
International Conference on Paul Erdõs and his Mathematics, DICO Publishing, 221-225, Budapest, Hungary, July 1999.

108. J. Chomicki, and P. Z. Revesz, A Geometric Framework for Specifying Spatiotemporal Objects,
Sixth International Conf. on Temporal Representation and Reasoning (TIME), IEEE Press, 41-46, Orlando, Florida, May 1999.

109. P. Z. Revesz, The evaluation and the computational complexity of Datalog queries of Boolean constraint databases,
International Journal of Algebra and Computation, 8 (5), 553-574, 1998.

110. P. Z. Revesz, Safe query languages for constraint databases,
ACM Transactions on Database Systems, 23 (1), 58-99, 1998.

111. A. Benczur, A.B. Novak, and P. Z. Revesz, On weighted knowledgebase transformations,
Annales Universitatis Scientarium Budapestinensis, Sect. Comp., 17, 65-78, 1998.

112. P. Z. Revesz, Constraint databases: A survey,
In: Semantics in Databases, L. Libkin and B. Thalheim, eds., Springer LNCS 1358, 209-246, 1998.

113. P. Z. Revesz, Safe Datalog queries with linear constraints,
Fourth International Conference on Principles and Practice of Constraint Programming (CP), Springer LNCS 1520, 355-369, 1998.

114. P. Kanjamala, P. Z. Revesz, and Y. Wang, MLPQ/GIS: A geographic information system using linear constraint databases,
Ninth International Conference on Management of Data (COMAD), McGraw Hill, 389-392, Hyderabad, India, December 1998.

115. P. Z. Revesz and Y. Li, MLPQ: A linear constraint database system with aggregate operators,
International Database Engineering and Applications Symposium, IEEE Press, 132-137, Montreal, Canada, 1997.

116. P. Z. Revesz, Refining restriction enzyme genome maps,
Constraints, 2 (3-4), 361-375, 1997.

117. G. Grahne, A.O. Mendelzon, P. Z. Revesz, Knowledgebase transformations,
Journal of Computer and System Sciences, 54 (1), 98-112, 1997.

118. P. Z. Revesz, On the semantics of arbitration, International Journal of Algebra and Computation, 7 (2), 133-160, 1997.
cf. P. Z. Revesz, On the semantics of theory change: Arbitration between old and new information, PODS, 1993.

119. P. Z. Revesz, Problem solving in the DISCO constraint database system,
Second International Workshop on Constraint Database Systems, Springer LNCS 1191, 302-315, Delphi, Greece, 1997.

120. P. Z. Revesz, Model-theoretic minimal change operators for constraint databases,
Sixth International Conference on Database Theory (ICDT), Springer LNCS 1186, 447-460, Delphi, Greece, 1997.

121. A. Benczur, A.B. Novak, P. Z. Revesz, On the semantics of revision and model-fitting in weighted case,
Journal of Information and Organizational Sciences, 20 (1), 45-58, 1996.

122. A. Benczur, A.B. Novak, P. Z. Revesz, Classical and weighted knowledgebase transformations,
Computers and Mathematics with Applications, 32 (5), 85-98, 1996.

123. K. L. Lu, and P. Z. Revesz, The capacity of matcher neural networks,
In: Intelligent Engineering Systems Through Artificial Neural Networks, C. Dagli, ed., ASME Press, 15-20, 1995.

124. P. C. Kanellakis, G. M. Kuper, P. Z. Revesz, Constraint query languages,
Journal of Computer and System Sciences, 51 (1), 26-52, 1995.

125. P. Z. Revesz and R. K. Veera, A sign-to-speech translation system using matcher neural networks,
In: Intelligent Engineering Systems Through Artificial Neural Networks, C. Dagli, ed., ASME Press, 369-374, 1993.

126. P. Z. Revesz, A closed form evaluation for Datalog queries with integer (gap)-order constraints,
Theoretical Computer Science, 116 (1), 117-149, 1993.

127. P. C. Kanellakis and P. Z. Revesz, On the relationship of congruence closure and unification,
Journal of Symbolic Computation, 7 (3-4), 427-444, 1989.