@Proceedings{STS:IWIL-2010, title = {Proceedings of the 8th International Workshop on the Implementation of Logics, Yogyakarta, Indonesia}, year = {2010}, editor = {Geoff Sutcliff and Eugenia Ternovska and Stephan Schulz}, OPTvolume = {}, OPTnumber = {}, series = {EasyChair Proceedings}, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, OPTpublisher = {}, OPTnote = {}, OPTannote = {StSed} }