EITER, T., FINK, M., TOMPITS, H., & WOLTRAN, S. (2004, Januar 1). Simplifying logic programs under uniform and strong equivalence. Gehalten auf der. Berlin: Springer, 2004. Abgerufen von http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=15690796
ISO-690 (author-date, English)EITER, Thomas, FINK, Michael, TOMPITS, Hans und WOLTRAN, Stefan, 2004. Simplifying logic programs under uniform and strong equivalence. In: [online]. Berlin: Springer, 2004. 1 Januar 2004. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=15690796
Modern Language Association 9th editionEITER, T., M. FINK, H. TOMPITS, und S. WOLTRAN. Simplifying logic programs under uniform and strong equivalence. Berlin: Springer, 2004., 2004, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=15690796.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
EITER, T., FINK, M., TOMPITS, H. und WOLTRAN, S. (2004), „Simplifying logic programs under uniform and strong equivalence“, in , Bd. , Berlin: Springer, 2004., verfügbar unter: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=15690796.