| |
| 1995 | ||
|---|---|---|
| 2 | Albert G. Dragálin: Explicit algebraic models for constructive and classical theories with non-standard elements. Studia Logica 55(1): 33-61 (1995) | |
| 1989 | ||
| 1 | Albert G. Dragálin: Some Trends in Automated Reasoning. Elektronische Informationsverarbeitung und Kybernetik 25(11/12): 607-618 (1989) | |