?url_ver=Z39.88-2004&rft_id=10.1007%2Fs10009-008-0093-y&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Bosnacki%2C+Dragan&rft.aufirst=Dragan&rft.aulast=Bosnacki&rft.volume=11&rft.issue=1&rft.pages=39-51&rft.title=International+Journal+on+Software+Tools+for+Technology+Transfer+(STTT)&rft.atitle=Partial-order+reduction+for+general+state+exploring+algorithms&rft.date=2009&rft.issn=1433-2779&rft.genre=article