Kp. Zarys dedukcyjnych metod automatycznego wnioskowania / Andrzej Szałas. - Warszawa, 1993.

Kp. Time and logic / ed. by Leonard Bolc & Andrzej Szałas. - London, 1995. CIP LC (Szałas, Andrzej (1956- )

pl.wikipedia, 16.01.2020 (Andrzej Piotr Szałas, ur. 4 października 1956, polski matematyk i informatyk,profesor nauk matematycznych. Specjalizacja: matematyczne podstawy informatyki, logika w sztucznej inteligencji, bazy danych, metodyi techniki programowania, profesor zwyczajny Instytutu Informatyki Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)

Kp. Rozwój aplikacji logik temporalnych w zastosowaniach informatycznych / Marek Adamek. - Warszawa, 2019. Recenzent

INP 93 KjK 3