Embedding a family of logic languages with custom monadic unification in Scala von Shevchenko, R.S., Doroshenko, А.Yu., Yatsenko, O.A.

Volltext