On Correctness of Normal Logic Programs

von Drabent, Włodzimierz
Veröffentlicht in LOPSTR (32. : 2022 : Tiflis) Logic-based program synthesis and transformation (2022)

S-Semantics-an Example

von Drabent, Wlodzimierz
Veröffentlicht in LOPSTR (31. : 2021 : Online; Tallinn) Logic-based program synthesis and transformation (2022)

The Prolog Debugger and Declarative Programming

von Drabent, Wlodzimierz
Veröffentlicht in LOPSTR (29. : 2019 : Porto, Portugal) Logic-based program synthesis and transformation (2020)

Proving properties of Pascal programs in MIZAR 2

von Rudnicki, Piotr
Veröffentlicht 1983