@TECHREPORT{KonevSchmidt03,
AUTHOR = {Konev, B. and Schmidt (editors), R. A.},
YEAR = {2003},
TITLE = {Fourth {I}nternational {W}orkshop on the {I}mplementation of {L}ogics},
TYPE = {Technical Report},
NUMBER = {ULCS-03-018},
INSTITUTION = {University of Liverpool},
NOTE = {Proceedings of \emph{WIL'03}, Almaty, Kazakhstan},
}