"Leibi"@cs .