Lemuz López, Rafael, Benemérita Universidad Autónoma de Puebla., Mexico

• Vol 17, No 4 (2013): 17(4) October-December 2013 - Articles
  Model Counting in the 2mu-3MON Syntactic Class
  Abstract  PDF (Spanish)