Literature Cited
V. M. Glushkov, K. P. Vershinin, Yu. V. Kapitonova, et al., “Language for notation of mathematical texts,” in: Automation of the Proof-Searching of Mathematical Theorems [in Russian], IK Akad. Nauk USSR, Kiev (1974), pp. 3–34.
Yu. V. Kapitonova, A. I. Degtyarev, and A. V. Lyaletskii, “Use of heuristics in programs for theorem proof searching (review),” Kibernetika, No. 4, 76–89, (1973).
Additional information
Translated from Kibernetika, No. 1, pp. 96–99, January–February, 1984.
Rights and permissions
About this article
Cite this article
Morokhovets, M.K. A modified unification procedure. Cybern Syst Anal 20, 147–152 (1984). https://doi.org/10.1007/BF01068881
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01068881