Bistarelli, et al.. Enumerating Extensions on Random Abstract-afs with Argtools, Aspartix, Conarg2, and Dung-o-matic. Springer International Publishing, 2014, doi:10.1007/978-3-319-09764-0_5.