@misc {IOPORT.70210316,
    author       = {Romanenko, Igor},
    title        = {Logican's workbench},
    howpublished = {LPAR, 499-500 (1992).},
    year         = {1992},
    doi          = {10.1007/BFb0013100},
    identifier   = {70210316},
}