Cholewa, A., Meseguer, J., & Escobar Román, S. (2015). Constrained narrowing for conditional equational theories modulo axioms.
Citação norma ChicagoCholewa, Andrew, Jose Meseguer, y Santiago|||0000-0002-3550-4781 Escobar Román. Constrained Narrowing for Conditional Equational Theories Modulo Axioms. 2015.
Citação norma MLACholewa, Andrew, Jose Meseguer, y Santiago|||0000-0002-3550-4781 Escobar Román. Constrained Narrowing for Conditional Equational Theories Modulo Axioms. 2015.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.