2 ms·Smullyan, but those are decades old and not application focused.by selimthegrim 4y agoSmullyan, but those are decades old and not application focused.