@techreport{R-91-26, TITLE = {Towards Practical Executable Specifications in Logic}, AUTHOR = {Feliks Kluz'niak}, YEAR = {1991}, NUMBER = {R-91-26}, INSTITUTION = ida, ADDRESS = idaaddr, ABSTRACT = {}, IDANR = {LiTH-IDA-R-91-26}