Annals of Pure and Applied LogicVolume 42, Issue 2, 22 April 1989, Pages 165-194Maslov's inverse method and decidable classesAuthor links open overlay panelN.K. ZamovShow moreShareCitehttps://doi.org/10.1016/0168-0072(89)90053-5Get rights and contentUnder an Elsevier user licenseopen archivePrevious article in issueNext article in issueRecommended articlesCited by (0)Copyright © 1989 Published by Elsevier B.V.