A Decision Procedure for the Wsks Logic

Bok av Fiedor Toma