APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Baader, Franz, and 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.

MLA (9th ed.) Citation

Baader, Franz, and 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.