JournalLogical Methods in Computer ScienceDetailsPublisherInternational Federation for Computational LogicPublisher locationBraunschweigJournal ISSN1860-5974Journal e-ISSN1860-5974Peer-reviewed Yes StatusactiveAuthor's publications results Back to results Search Search Tools Loading search results...