Petr Pudlák

	2009
2		Florian Rabe, Petr Pudlák, Geoff Sutcliffe, Weina Shen: Solving the $100 modal logic challenge. J. Applied Logic 7(1): 113-130 (2009)
	2008
1		Josef Urban, Geoff Sutcliffe, Petr Pudlák, Jirí Vyskocil: MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance. IJCAR 2008: 441-456

Coauthor Index

1	Florian Rabe	[2]
2	Weina Shen	[2]
3	Geoff Sutcliffe	[1] [2]
4	Josef Urban	[1]
5	Jirí Vyskocil	[1]