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
Citácia 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.
Citácia podľa MLA (8th 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.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..