Using Hybrid Logic for Coping with Funct
β
Bernhard Heinemann
π
Article
π
2010
π
Springer Netherlands
π
English
β 319 KB