Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories - Biela, Andrzej (Prace naukowe uniwersytetu Śląskiego w Katowicach, 2000)