THIELSCHER, M. (2005, January 1). Handling implication and universal quantification constraints in FLUX. Presented at the. New York, NY: Springer, 2005. Retrieved from http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=17324843
ISO-690 (author-date, English)THIELSCHER, Michael, 2005. Handling implication and universal quantification constraints in FLUX. In: [online]. New York, NY: Springer, 2005. 1 January 2005. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=17324843
Modern Language Association 9th editionTHIELSCHER, M. Handling implication and universal quantification constraints in FLUX. New York, NY: Springer, 2005., 2005, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=17324843.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
THIELSCHER, M. (2005), “Handling implication and universal quantification constraints in FLUX”, in , Vol. , New York, NY: Springer, 2005., available at: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=17324843.