Author Karl Heuer
From Semantic Portal Wiki
A list of all pages that have property "Author" with value "Karl Heuer"- Computational context logic and species of $ist$ +
- Building-in new inference rules for computational context logic +
- Any ist-ao quantified context logic has a first-order semantics +

