Standard Rothe tableaux.

Published in: Discret. Math. (2019)

Keyphrases

real world
modal logic
databases
social networks
information systems
knowledge base
high level
evolutionary algorithm
logic programming
decision procedures
iso iec