BEJAR, R., MANYH, F., CABISCOL, A., FERNANDEZ, C., & GOMES, C. (2007, January 1). Regular-SAT : A many-valued approach to solving combinatorial problems. 155(12). Amsterdam; Lausanne; New York, NY: Elsevier, 2007. Retrieved from http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=18962802
ISO-690 (author-date, English)BEJAR, Ramon, MANYH, Felip, CABISCOL, Alba, FERNANDEZ, Cèsar and GOMES, Carla, 2007. Regular-SAT : A many-valued approach to solving combinatorial problems. In: [online]. Amsterdam; Lausanne; New York, NY: Elsevier, 2007. 1 January 2007. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=18962802
Modern Language Association 9th editionBEJAR, R., F. MANYH, A. CABISCOL, C. FERNANDEZ, and C. GOMES. Regular-SAT : A many-valued approach to solving combinatorial problems. no. 12, Amsterdam; Lausanne; New York, NY: Elsevier, 2007., 2007, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=18962802.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
BEJAR, R., MANYH, F., CABISCOL, A., FERNANDEZ, C. and GOMES, C. (2007), “Regular-SAT : A many-valued approach to solving combinatorial problems”, in , Vol. 155, Amsterdam; Lausanne; New York, NY: Elsevier, 2007., available at: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=18962802.