|
author={Dix, Jürgen and Müller, Martin},
editor={Z.W. Ras and M. Zemankova},
title={Partial Evaluation and Relevance for Approximations of the Stable Semantics},
booktitle={Proceedings of the 8th Int. Symp. on Methodologies for Intelligent Systems},
volume={869},
year={1994},
pages={511-520},
series={Lecture Notes in Artificial Intelligence},
publisher={Springer},
}
|