"selected logic papers" - related articles and key terms