CONCHON, S., & KRSTIC, S. (2006, Januar 1). Strategies for combining decision procedures. 354(2). Amsterdam: Elsevier, 2006. Abgerufen von http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=17634825
ISO-690 (author-date, English)CONCHON, Sylvain und KRSTIC, Sava, 2006. Strategies for combining decision procedures. In: [online]. Amsterdam: Elsevier, 2006. 1 Januar 2006. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=17634825
Modern Language Association 9th editionCONCHON, S., und S. KRSTIC. Strategies for combining decision procedures. Nr. 2, Amsterdam: Elsevier, 2006., 2006, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=17634825.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
CONCHON, S. und KRSTIC, S. (2006), „Strategies for combining decision procedures“, in , Bd. 354, Amsterdam: Elsevier, 2006., verfügbar unter: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=17634825.