@inproceedings{176b63ccbe6544f2aaa287e36c031834,
title = "Classifying Semi-Normal Default Logic on the Basis of its Expressive Power",
keywords = "default logic, expressive power, modularity, semi-normality, translation function, default logic, expressive power, modularity, semi-normality, translation function, default logic, expressive power, modularity, semi-normality, translation function",
author = "T. Janhunen",
year = "1999",
language = "English",
pages = "19--33",
editor = "M. Gelfond and N. Leone and G. Pfeifer",
booktitle = "The 5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999",
}