| |
| 1996 | ||
|---|---|---|
| 3 | Andrzej Biela, Jakub Borowczyk: RETRPROV, A System that Looks for Axioms. Acta Inf. 33(8): 759-780 (1996) | |
| 1993 | ||
| 2 | Andrzej Biela: Retrieval System and Dynamic Algorithm Looking for Axioms of Notions Defined by Programs. Fundam. Inform. 19(3/4): 275-301 (1993) | |
| 1988 | ||
| 1 | Andrzej Biela: Program-Substitution and Admissibility of Rules in Algorithmic Logic. Acta Inf. 25(4): 439-473 (1988) | |
| 1 | Jakub Borowczyk | [3] |