[Back]


Scientific Reports:

C. Redl:
"Inlining External Sources in Answer Set Programs";
Report for Technische Universität Wien; Report No. LOGCOMP RR-1923-18-01, 2018; 47 pages.


Created from the Publication Database of the Vienna University of Technology.