The Significance of Memory Costs in Answer Set Solver Implementation
scientific article; zbMATH DE number 5598159