@techreport{113b5c0d2bf6498082cc99c9a022fc98,
title = "Implementation of local grounding for logic programs with stable model semantics",
keywords = "grounding, logic programming, smodels, stable models, grounding, logic programming, smodels, stable models, grounding, logic programming, smodels, stable models",
author = "T. Syrj{\"a}nen",
year = "1998",
language = "English",
series = "Helsinki University of Technology, Laboratory For Theoretical Computer Science, Technical reports",
publisher = "Helsinki University of Technology",
number = "HUT-TCS-B18",
pages = "40",
type = "WorkingPaper",
institution = "Helsinki University of Technology",
}