Levy, J., Schmidt-Schauß, M., & Villaret, M. (2004). Monadic second-order unification Is NP-complete.
Citación estilo ChicagoLevy, Jordi, Manfred Schmidt-Schauß, y Mateu Villaret. Monadic Second-order Unification Is NP-complete. 2004.
Cita MLALevy, Jordi, Manfred Schmidt-Schauß, y Mateu Villaret. Monadic Second-order Unification Is NP-complete. 2004.
Precaución: Estas citas no son 100% exactas.