Baader, F., & Schulz, K. U. (1995). Combination techniques and decision problems for disunification. Theoretical computer science, 142(2), 229-255. https://doi.org/10.1016/0304-3975(94)00277-0
Citace podle Chicago (17th ed.)Baader, Franz, a Klaus U. Schulz. "Combination Techniques and Decision Problems for Disunification." Theoretical Computer Science 142, no. 2 (1995): 229-255. https://doi.org/10.1016/0304-3975(94)00277-0.
Citace podle MLA (9th ed.)Baader, Franz, a Klaus U. Schulz. "Combination Techniques and Decision Problems for Disunification." Theoretical Computer Science, vol. 142, no. 2, 1995, pp. 229-255, https://doi.org/10.1016/0304-3975(94)00277-0.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..