APA (7th ed.) Citation

Schockaert, S., Janssen, J., & Vermeir, D. (2012). Satisfiability Checking in Łukasiewicz Logic as Finite Constraint Satisfaction. Journal of automated reasoning, 49(4), 493-550. https://doi.org/10.1007/s10817-011-9227-0

Chicago Style (17th ed.) Citation

Schockaert, Steven, Jeroen Janssen, and Dirk Vermeir. "Satisfiability Checking in Łukasiewicz Logic as Finite Constraint Satisfaction." Journal of Automated Reasoning 49, no. 4 (2012): 493-550. https://doi.org/10.1007/s10817-011-9227-0.

MLA (9th ed.) Citation

Schockaert, Steven, et al. "Satisfiability Checking in Łukasiewicz Logic as Finite Constraint Satisfaction." Journal of Automated Reasoning, vol. 49, no. 4, 2012, pp. 493-550, https://doi.org/10.1007/s10817-011-9227-0.