Cita APA

Galán Morillo, F. J., & Cañete Valdeón, J. M. (2016). Synthesis of positive logic programs for checking a class of definitions with infinite quantification.

Citación estilo Chicago

Galán Morillo, Francisco José, y José Miguel Cañete Valdeón. Synthesis of Positive Logic Programs for Checking a Class of Definitions With Infinite Quantification. 2016.

Cita MLA

Galán Morillo, Francisco José, y José Miguel Cañete Valdeón. Synthesis of Positive Logic Programs for Checking a Class of Definitions With Infinite Quantification. 2016.