| no |
title |
type |
| 1 |
Journal of automated reasoning, vol. 68
|
volume
|
| 2 |
Journal of automated reasoning, vol. 67
|
volume
|
| 3 |
Journal of automated reasoning, vol. 66
|
volume
|
| 4 |
Journal of automated reasoning, vol. 65
|
volume
|
| 5 |
Journal of automated reasoning, vol. 64
|
volume
|
| 6 |
Journal of automated reasoning, vol. 63
|
volume
|
| 7 |
Journal of automated reasoning, vol. 62
|
volume
|
| 8 |
Journal of automated reasoning, vol. 61
|
volume
|
| 9 |
Journal of automated reasoning, vol. 60
|
volume
|
| 10 |
Journal of automated reasoning, vol. 60
|
volume
|
| 11 |
Journal of automated reasoning, vol. 59
|
volume
|
| 12 |
Journal of automated reasoning, vol. 58
|
volume
|
| 13 |
Journal of automated reasoning, vol. 57
|
volume
|
| 14 |
Journal of automated reasoning, vol. 56
|
volume
|
| 15 |
Journal of automated reasoning, vol. 55
|
volume
|
| 16 |
Journal of automated reasoning, vol. 54
|
volume
|
| 17 |
Journal of automated reasoning, vol. 53
|
volume
|
| 18 |
Journal of automated reasoning, vol. 52
|
volume
|
| 19 |
Journal of automated reasoning, vol. 51
|
volume
|
| 20 |
Journal of automated reasoning, vol. 50
|
volume
|
| 21 |
Journal of automated reasoning, vol. 49
|
volume
|
| 22 |
Journal of automated reasoning, vol. 48
|
volume
|
| 23 |
Journal of automated reasoning, vol. 47
|
volume
|
| 24 |
Journal of automated reasoning, vol. 46
|
volume
|
| 25 |
Journal of automated reasoning, vol. 45
|
volume
|
| 26 |
Journal of automated reasoning, vol. 44
|
volume
|
| 27 |
Journal of automated reasoning, vol. 43
|
volume
|
| 28 |
Journal of automated reasoning, vol. 42
|
volume
|
| 29 |
Journal of automated reasoning, vol. 41
|
volume
|
| 30 |
Journal of automated reasoning, vol. 41
|
volume
|
| 31 |
Journal of automated reasoning, vol. 40
|
volume
|
| 32 |
Journal of automated reasoning, vol. 39
|
volume
|
| 33 |
Journal of automated reasoning, vol. 39
|
volume
|
| 34 |
Journal of automated reasoning, vol. 38
|
volume
|
| 35 |
Journal of automated reasoning, vol. 38
|
volume
|
| 36 |
Journal of automated reasoning, vol. 37
|
volume
|
| 37 |
Journal of automated reasoning, vol. 36
|
volume
|
| 38 |
Journal of automated reasoning, vol. 35
|
volume
|
| 39 |
Journal of automated reasoning, vol. 34
|
volume
|
| 40 |
Journal of automated reasoning, vol. 34
|
volume
|
| 41 |
Journal of automated reasoning, vol. 33
|
volume
|
| 42 |
Journal of automated reasoning, vol. 32
|
volume
|
| 43 |
Journal of automated reasoning, vol. 32
|
volume
|
| 44 |
Journal of automated reasoning, vol. 31
|
volume
|
| 45 |
Journal of automated reasoning, vol. 31
|
volume
|
| 46 |
Journal of automated reasoning, vol. 30
|
volume
|
| 47 |
Journal of automated reasoning, vol. 29
|
volume
|
| 48 |
Journal of automated reasoning, vol. 28
|
volume
|
| 49 |
Journal of automated reasoning, vol. 27
|
volume
|
| 50 |
Journal of automated reasoning, vol. 26
|
volume
|
| 51 |
Journal of automated reasoning, vol. 25
|
volume
|
| 52 |
Journal of automated reasoning, vol. 24
|
volume
|
| 53 |
Journal of automated reasoning, vol. 23
|
volume
|
| 54 |
Journal of automated reasoning, vol. 22
|
volume
|
| 55 |
Journal of automated reasoning, vol. 21
|
volume
|
| 56 |
Journal of automated reasoning, vol. 20
|
volume
|
| 57 |
Journal of automated reasoning, vol. 19
|
volume
|
| 58 |
Journal of automated reasoning, vol. 18
|
volume
|
Journal description