JournalThe Journal of Logical and Algebraic Methods in ProgrammingDetailsPublisherElsevier BVPublisher locationAmsterdamJournal ISSN2352-2208Journal e-ISSN2352-2216Peer-reviewed Yes StatusactiveAuthor's publications results Back to results Search Search Tools Loading search results...