LEVY, J., SCHMIDT-SCHAUSS, M., & VILLARET, M. (2004, January 1). Monadic Second-Order Unification is NP-complete. Presented at the. Berlin: Springer, 2004. Retrieved from http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=15851903
ISO-690 (author-date, English)LEVY, Jordi, SCHMIDT-SCHAUSS, Manfred and VILLARET, Mateu, 2004. Monadic Second-Order Unification is NP-complete. In: [online]. Berlin: Springer, 2004. 1 January 2004. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=15851903
Modern Language Association 9th editionLEVY, J., M. SCHMIDT-SCHAUSS, and M. VILLARET. Monadic Second-Order Unification is NP-complete. Berlin: Springer, 2004., 2004, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=15851903.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
LEVY, J., SCHMIDT-SCHAUSS, M. and VILLARET, M. (2004), “Monadic Second-Order Unification is NP-complete”, in , Vol. , Berlin: Springer, 2004., available at: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=15851903.